Some notes on logic programming with a relational machine (1998)

by J Lipton, E Chapman
Venue:Relational Methods in Computer Science, Technical Report Nr. 1998-03