Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Is there an axiomatic semantics for standard pure prolog?

François Denis and Jean-Paul Delahaye
Theoretical Computer Science 82 (2) 373 (1991)
DOI: 10.1016/0304-3975(91)90229-U
See this article

Anne Parrain, Philippe Devienne and Patrick Lebègue
228 (1993)
DOI: 10.1007/978-1-4471-3560-9_16
See this article

François Denis and Jean-Paul Delahaye
480 511 (1991)
DOI: 10.1007/BFb0020825
See this article

Anne Parrain, Philippe Devienne and Patrick Lebegue
238 (1992)
DOI: 10.1007/978-1-4471-3494-7_17
See this article

Négation constructive et axiomatique interne

G. Blanc and K. Liogier
RAIRO - Theoretical Informatics and Applications 31 (5) 411 (1997)
DOI: 10.1051/ita/1997310504111
See this article

Smallest horn clause programs

P Devienne, P Lebègue, A Parrain, J.C Routier and J Würtz
The Journal of Logic Programming 27 (3) 227 (1996)
DOI: 10.1016/0743-1066(95)00122-0
See this article