"Efficient simulation of AHPL."

Zainalabedin Navabi, Fredrick J. Hill (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics