The clausal theory of types by Wolfram, D. A. fromCambridge tracts in theoretical computer science 0 Type: Book
A grammatical view of logic programming by Deransart, Pierre, Maluszynski, Jan fromMIT Press series in logic programming 0 Type: Book
