Alessandro Armando Luca Compagna Yuliya Lierler Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 617-627 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=617 2004 conf/jelia/2004 JELIA db/conf/jelia/jelia2004.html#ArmandoCL04