Introduction to the Fluent Calculus

   page       BibTeX_logo.png   
Michael Thielscher
Electronic Transactions on Artificial Intelligence 2(3-4), pp. 179–192
1998