An efficient implementation of advice language 2 - Bratko, Ivan (Informatica (Ljubljana), 1982)