zbMath0862.68025MaRDI QIDQ5285104
Akihiro Yamamoto
Publication date: 4 February 1997
zbMATH Keywords
weakly reducing EFS
Mathematics Subject Classification ID
68N17: Logic programming