Publication Overview

Thomas Lengauer and Egon Wanke

Efficient Decision Procedures for Graph Properties on Centext-Free Graph Languages

Published in: J. ACM
Year: 1993
Volume: 40
Pages: 368-393