How to prove observational theorems with lp (1992)

by M Bidoit, R Hennicker
Venue:Proc. of First International Workshop on Larch