A necessary condition for constructive negation in constraint logic programming

From MaRDI portal
Publication:294756