Alessio Guglielmi
(via Lambda the Ultimate) http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf
http://alessio.guglielmi.name/
(via Lambda the Ultimate) http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf
http://alessio.guglielmi.name/