Complexity of Matching Problems (1987)

by D Benanav, D Kapur, P Narendran
Venue:Journal of Symbolic Computation