zbMath0939.68577MaRDI QIDQ4839036
Georges Saab, Peter Schachte
Publication date: 4 July 2000
Mathematics Subject Classification ID
68N17: Logic programming