Adjunct Elimination Through Games in Static Ambient Logic [chapter]

Anuj Dawar, Philippa Gardner, Giorgio Ghelli
2004 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-30538-5_18 fatcat:2v66wk3j6fchxnoyjeuj4fs7xq