Bmynooghe M, On the transformation f logic programs with instantiation based computation rules, J.Symbolic Computation (1989)

by D De Schreye