Logic programming semantics techniques and applications - Baudinet, Marianne (Stanford University / Computer Science Department: Report STAN-CS, 1989)