HEAP Lab Talk – Introduction to Monotone Frameworks July 20, 2017October 6, 2017 Giovanni Patruno Uncategorized Stephan Ploegers (University of Bonn)