Logic programming semantics techniques and applications - Baudinet, Marianne (1989)
Stanford, Calif., Univ., Diss.