An Application of P4-Free Graphs in Theorem-Proving
SETH CHAIKEN, NEIL V. MURRAY, ERIK ROSENTHALVolume:
555
Year:
1989
Language:
english
DOI:
10.1111/j.1749-6632.1989.tb22442.x
File:
PDF, 775 KB
english, 1989