M. Alam, T. Bläsius, I. Rutter, T. Ueckerdt, and A. Wolff. Proc. 23rd Int. Symp. Graph Drawing & Network Vis. (GD'15), volume 9411 of Lecture Notes in Computer Science, page 472--486. Springer-Verlag, (2015)
K. Bläsius, C. Rollinger, and J. Siekmann. Sorts and Types in Artificial Intelligence, volume 418 of Lecture Notes in Computer Science, page 165-182. Springer, (1989)