TY  - RPRT
TI  - Bounded Situation Calculus Action Theories
AU  - Giuseppe De Giacomo
AU  - Yves Lespérance
AU  - Fabio Patrizi
PY  - 2015
UR  - https://arxiv.org/abs/1509.02012
ID  - 1509.02012
ER  -