Techniques of Prolog programming : with implementation of logical negation and quantified goals - Le, Tu Van. (New York [etc.] : John Wiley & Sons, 1993)
Bibliogr. s. 585-593. Indeks.