Logic Programming

From MaRDI portal
Publication:5475772