From Pattern Invocation Networks to Rule Preconditions. - Nils Weidmann; Anthony Anjorin; Florian Stolte; Florian Kraus (ICGT, 2019)