DMCA

Bounded Situation Calculus Action Theories and Decidable Verification

by Yves Lespérance , Fabio Patrizi
Citations:20 - 8 self