@InProceedings{thielscher:ILPS93, author = "Steffen H{\"o}lldobler and Michael Thielscher", title = "Actions and {S}pecificity", booktitle = "Proceedings of the International Logic Programming Symposium (ILPS)", year = "1993", editor = "D.\ Miller", pages = "164--180", publisher = "MIT Press", address = "Vancouver", month = oct }