Zero : Frame + prolog
1986 ◽
pp. 78-89
◽