article by Michael Gelfond et al published November 1993 in The Journal of Logic Programming
Paulina is supported by:
About Paulina
Help