Contents lists available at ScienceDirect Artificial Intelligence

by Mario Graff , Riccardo Poli