A Logic-Based Method for Business Process Knowledge Base Management.
['Antonio De Nicola', 'Michele Missikoff', 'Maurizio Proietti', 'Fabrizio Smith']
A Logic-Based Method for Business Process Knowledge Base Management.