Handling Incomplete and Complete Tables in Tabled Logic Programs

From MaRDI portal
Publication:5449621