NP-SPEC: An Executable Specification Language for Solving all Problems in NP

CADOLI M

IANNI G

PALOPOLI L

SCHAERF, Andrea