4. ALP 1994: Madrid, Spain

Invited Talks (Abstracts)

Theorem Proving

Narrowing

Logic Programming I

Term Rewriting

Higher-Order Programming

Logic Programming II