The guarded fragment with transitive gua
✍
Wiesław Szwast; Lidia Tendera
📂
Article
📅
2004
🏛
Elsevier Science
🌐
English
⚖ 522 KB