Building Decision Procedures for Modal L
✍
Fausto Giunchiglia; Roberto Sebastiani
📂
Article
📅
2000
🏛
Elsevier Science
🌐
English
⚖ 345 KB