Simulation reduction as constraint (2002)

by R Gentilini, C Piazza, A Policriti
Venue:Proc. of Workshop on Functional and Constraint Logic Programming (WFLP'02), pages 59--72. Research Report UDMI/18/2002/RR