PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs (2003)

by M Hanus, S Antoy, M Engelke, K Höppner, J Koj, P Niederau, R Sadre, F Steiner