A Type System for DNAQL.

Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche

Browse the full DNA paper archive.