Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile. NP-SPEC: An Executable Specification Language for Solving All Problems in NP. In Gopal Gupta, editor, Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Volume 1551 of Lecture Notes in Computer Science, pages 16-30, Springer, 1999. [doi]
Abstract is missing.