> KBSS
> STILL
> IDA
> AIC
Č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. [Research Report] Praha: ČVUT FEL, Katedra počítačů, 2014.