Logic programming with non-monotonic semantics: representing knowledge and its computation

From MaRDI portal
Publication:1978005