| Information and Computation
0890-5401 | 1994 | Dimopoulos, Yannis
Magirou, Vangelis | | A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256 | |
| Parallel Processing Letters |
| |
| ACM Transactions on Programming Languages and Systems
0164-0925 | 2007 | Ben-Amram, Amir M.
Lee, Chin Soon | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | |
| ACM Transactions on Programming Languages and Systems
- | 2007 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | |