Home
DCC eCatalog
Hans-peter__Storr
A new equational foundation for the fluent calculus
