Term Rewriting Systems: An h-Categorical Semantic. - Giulio Balestreri (DISCO, 1996)

A Planning Fully Based on Linear Time Logic. - Marta Cialdea Mayer; Andrea Orlandini; Giulio Balestreri; Carla Limongelli (AIPS, 2000)