A Platform for Managing Business Process Knowledge Bases via Logic Programming. - Fabrizio Smith; Dario De Sanctis; Maurizio Proietti (CILC, 2013)