conf/pods/85 Stavros S. Cosmadakis Paris C. Kanellakis Nicolas Spyratos 261-275 1985 PODS db/conf/pods/pods85.html#CosmadakisKS85 http://doi.acm.org/10.1145/325405.325452 journals/anthology/cd1-3:PODS85/P261.PDF journals/anthology/dvd1:text/1-3/PODS85/P261.PDF conf/popl/AhoU79 journals/siamcomp/BeeriV84 ... ... journals/jacm/Fagin82 books/fm/GareyJ79 ... journals/jacm/Honeyman82 books/aw/HopcroftU79 ... conf/stoc/Kozen77 books/cs/Maier83 ... journals/jacm/SadriU82 ... books/cs/Ullman82 ... ... journals/jcss/YannakakisP82