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