Maximal completion (2011)

by Dominik Klein, Nao Hirokawa
Venue:In RTA 2011, volume 10 of LIPIcs