//-->
Integrating Logical Inference with Numeric Optimization
Lee, Ho Geun, (1994)
Automated generation of electronic procedures: procedure constraint grammars
Lee, Ronald M., (2002)
Introduction to the Special Issue: Formal Modeling for Electronic Commerce - A Formal Analysis of Auditing Principles for Electronic Trade Procedures
Bons, Roger W.H., (2000)