NP-SPEC: An Executable Specification Language for Solving All Problems in NP. - Marco Cadoli; Luigi Palopoli 001; Andrea Schaerf; Domenico Vasile (PADL, 1999)

NP-SPEC: an executable specification language for solving all problems in NP. - Marco Cadoli; Giovambattista Ianni; Luigi Palopoli 001; Andrea Schaerf; Domenico Vasile (Comput. Lang., 2000)

Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. - Antony Castellucci; Giovambattista Ianni; Domenico Vasile; Sebastiano Costa (ITCC, 2001)