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

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