A BBD based implementation of M2L on strings (1994)

by Klarlund
Venue:In preparation