On ground AC-completion (1991)

by C Marché
Venue:In 4th RTA, volume 488 of LNCS