Parma—bridging the performance gap between imperative and logic programming

From MaRDI portal
Publication:4339844