Media type: E-Article Title: Lecture Notes in Computer Science: Logic-Based Incremental Process Mining Contributor: Ferilli, Stefano; Redavid, Domenico; Esposito, Floriana Published: Springer International Publishing, 2015 Published in: Lecture Notes in Computer Science (2015), Seite 218-221 Language: English DOI: 10.1007/978-3-319-23461-8_17 ISBN: 9783319234601; 9783319234618 ISSN: 0302-9743; 1611-3349 Origination: Footnote: