A logic based framework for action theories (1997)

by C B Schwind
Venue:Language, Logic and Computation