Cited By
View all- Dunchev CGuidi FSacerdoti Coen CTassi E(2015)ELPIProceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 945010.1007/978-3-662-48899-7_32(460-468)Online publication date: 24-Nov-2015