li:1993
prompt:triangle-free graph is a subclass of
y:graph
