"Modeling Complex Systems in the Situation Calculus: A Case Study Using the ..."

Todd G. Kelley (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics