textscnp-spec: An Executable Specification Language for Solving All Problems in NP

Publication
Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99)

Related