3 ms·Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]1 points by jnpnj 3mo ago