Modeling and reasoning with star calculus: an extended abstract (2004)

by D Mitra
Venue:Eighth International Symposium on AI and Mathematics