KL-Conc: A Language for Interacting With SI-Nets. - Amedeo Cappelli; Lorenzo Moretti; Carlo Vinchesi (IJCAI, 1983)