1. Acyclic programs;Apt;New Generation Comput.,1991
2. Precise widening operators for convex polyhedra;Bagnara,2003
3. Knowledge Representation, Reasoning and Declarative Problem Solving with Answer Sets;Baral,2003
4. The expressiveness of locally stratified programs;Blair;Ann. Math. Artificial Intelligence,1995
5. Fast planning through planning graph analysis;Blum,1995