DOI10.1016/0743-1066(92)90052-5zbMath0773.68017MaRDI QIDQ4015957
Allen van Gelder
Publication date: 10 November 1992 Published in: The Journal of Logic Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0743-1066(92)90052-5
Mathematics Subject Classification ID
68T99: Artificial intelligence
68N17: Logic programming