Combining KARL and CRLM for designing vertical transportation systems. - Poeck, Karsten; Fensel, Dieter; Landes, Dieter; Angele, Jürgen (Int. J. Hum. Comput. Stud., 1996)