Some Contributions to the Metatheory of the Situation Calculus 1 Introduction 2 Formal Preliminaries. Pirri, F. & Reiter, R. Journal of the ACM, 1999.
bibtex   
@article{pirri_contributions_1999-1,
	title = {Some {Contributions} to the {Metatheory} of the {Situation} {Calculus} 1 {Introduction} 2 {Formal} {Preliminaries}},
	volume = {46},
	number = {3},
	journal = {Journal of the ACM},
	author = {Pirri, Fiora and Reiter, Ray},
	year = {1999}
}

Downloads: 0