% FILE. . . . . /home/hak/hlt/src/hlt/language/syntax/xml/user-manual/main.bib
% EDIT BY . . . Hassan Ait-Kaci
% ON MACHINE. . Hak-Laptop
% STARTED ON. . Thu Jan 23 16:00:52 2014

% Last modified on Thu Jan 23 16:01:13 2014 by hak

@ARTICLE{brcomm-paper
	, AUTHOR = {Kirk D.~Wilson}
	, TITLE = {Business Rules and the Many Meanings
		of {`If.Then.'}}
	, JOURNAL = {Business Rules Journal}
	, YEAR = {2004}
	, VOLUME = {5}
	, NUMBER = {8}
	, MONTH = {August}
	, NOTE = {\online{http://www.BRCommunity.com/a2004/b187.html}}
	}

@ARTICLE{R++
	, AUTHOR = {Diane Litman and Peter Patel-Schneider and Anil
		Mishra and James Crawford and Daniel Dvorak}
	, TITLE = {{R++}: Adding Path-Based Rules to {C++}}
	, JOURNAL = {IEEE Transactions on Knowledge and Data
		Engineering}
	, YEAR = {2002}
	, VOLUME = {14}
	, NUMBER = {3}
	, PAGES = {638--658}
	, MONTH = {May/June}
	, NOTE = {\online{http://citeseer.ist.psu.edu/litman01adding.html}}
	}

@UNPUBLISHED{moossen
	, AUTHOR = {Michael Moossen}
	, TITLE = {Production Rule Systems}
	, NOTE = {\textsc{manifico} project presentation}
	, MONTH = {June}
	, YEAR = {2004}
	}

@ARTICLE{elan
	, AUTHOR = {Peter Borovansky and Claude Kirchner and H\'el\`ene
		Kirchner and Christophe Ringeissen}
	, TITLE = {Rewriting with Strategies in {ELAN}: A Functional Semantics}
	, JOURNAL = {International Journal of Foundations of Computer Science}
	, YEAR = {2001}
	, NOTE = {\online{http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/papers/index-papers.html}}
	}

@BOOK{gcl
	, AUTHOR = {Edsger W.~Dijkstra}
	, TITLE = {A Discipline of Programming}
	, PUBLISHER = {Prentice-Hall}
	, YEAR = {1976}
	, ADDRESS = {Englewood Cliffs, NJ}
	}

@ARTICLE{osf
	, AUTHOR = {Hassan A\"{\i}t-Kaci}
	, TITLE = {Data models as constraint systems---a key to the
	semantic web}
	, JOURNAL = {Constraint Processsing Letters}
	, YEAR = {2007}
	, VOLUME = {1}
	, NUMBER = {1}
	, PAGES = {33--88}
	, MONTH = {November}
	, NOTE = {\online{http://wikix.ilog.fr/wiki/pub/Main/HassanAitKaci/semwebclp.pdf}}
	}

@ARTICLE{osftu
	, AUTHOR = {Hassan A\"{\i}t-Kaci and Andreas Podelski and Seth Copen Goldstein}
	, TITLE = {Order-Sorted Feature Theory Unification}
	, JOURNAL = {Journal of Logic Programming}
	, YEAR = {1997}
	, VOLUME = {30}
	, NUMBER = {2}
	, PAGES = {99--124}
	, MONTH = {February}
	}

@INPROCEEDINGS{life
        , AUTHOR = {Hassan A\"{\i}t-Kaci}
        , TITLE = {An Introduction to {LIFE}---Programming with Logic,
		Inheritance, Functions, and Equations}
        , BOOKTITLE = {Proceedings of the International Symposium
                on Logic Programming}
        , YEAR = {1993}
        , EDITOR = {Dale Miller}
        , PUBLISHER = {\textsc{mit} Press}
	, ADDRESS = {Cambridge, MA}
        , MONTH = {October}
        }

@ARTICLE{toplas94
	, AUTHOR = {Hassan A\"{\i}t-Kaci and Andreas Podelski}
	, TITLE = {Functions as Passive Constraints in {LIFE}}
	, JOURNAL = {ACM Transactions on Programming Languages and Systems}
	, YEAR = {1994}
	, VOLUME = {16}
	, NUMBER = {4}
	, PAGES = {1279--1318}
	, MONTH = {July}
	}

@MISC{sbvr
	, AUTHOR = {{Object Management Group}}
	, TITLE = {\emph{Semantics of Business Vocabulary and Business Rules}}
	, HOWPUBLISHED = {Document dtc/06-08-05 (Second SBVR Interim
		Specification)}
	, MONTH = {September}
	, YEAR = {2006}
	, NOTE = {\online{http://www.omg.org/cgi-bin/doc?dtc/2006-08-05}}
	}

@BOOK{dragonbook
	, AUTHOR = {Alfred Aho and Ravi Sethi and Jeffrey Ullman}
	, TITLE = {Compilers: Principles, Techniques, and
		Tools}
	, PUBLISHER = {Addison-Wesley}
	, YEAR = {1986}
	}

@TECHREPORT{yacc
	, AUTHOR = {Stephen C. Johnson}
	, TITLE = {Yacc: Yet Another Compiler Compiler}
	, INSTITUTION = {AT\&T Bell Labs}
	, YEAR = {1975}
	, TYPE = {Computer Science Technical Report}
	, NUMBER = {32}
	, ADDRESS = {Murray Hill, NJ (USA)}
	, NOTE = {Reprinted in the \textit{4.3BSD Unix Programmer's
		Manual, Supplementary Documents 1, PS1:15. UC Berkeley,
		1986.}}
	}

@ARTICLE{DeremerPenello
	, AUTHOR = { Frank DeRemer and Thomas Penello}
	, TITLE = {Efficient computation of lookahead sets}
	, JOURNAL = {ACM Transactions of Programming Languages and Systems}
	, YEAR = {1982}
	, VOLUME = {4}
	, NUMBER = {4}
	, PAGES = {615--749}
	, MONTH = {October}
	}

@ARTICLE{ParkChoeChang
	, AUTHOR = {Joseph Park and Kwang-Moo Choe and C.H. Chang}
	, TITLE = {A new analysis of {LALR} formalisms}
	, JOURNAL = {ACM Transactions of Programming Languages and Systems}
	, YEAR = {1985}
	, VOLUME = {7}
	, NUMBER = {1}
	, PAGES = {159--175}
	, MONTH = {January}
	}

@UNPUBLISHED{choe
	, AUTHOR = {Kwang-Moo Choe}
	, TITLE = {Private communication (\texttt{choe@compiler.kaist.ac.kr})}
	, NOTE = {Korean Advanced Institute of Science and Technology,
		Seoul, South Korea}
	, MONTH = {December}
	, YEAR = {2000}
	}