Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]arxiv.org·1 pts·jnpnj·0