Progress in Automatic Construction of Key-Lock Systems

Černoch, R., Hájíček, J., Železný, F.

ČERNOCH, R., J. HÁJÍČEK, and F. ŽELEZNÝ. Progress in Automatic Construction of Key-Lock Systems. Praha: ČVUT FEL, Katedra počítačů, 2014.