The JURICAS-System: New Applications and Future Development.

C. van Noortwijk, P. A. W. Piepers, J. G. L. van der Wees, Richard V. de Mulder

Browse the full ICAIL paper archive.