S.: "AND/OR Graphs (1995)

by D Stoffel, W Kunz, Gerber