zbMath1118.68402MaRDI QIDQ5309417
D.Tătar, Gabriela Şerban
Publication date: 9 October 2007
Mathematics Subject Classification ID
68N17: Logic programming