From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Tue, 26 Jan 2010 15:07:44 +0000 (+0100)
Subject: Added reference to FL
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=670b6d6dd2734861d6bbf3dc952e455f12ce464f

Added reference to FL
---

diff --git "a/c\316\273ash.bib" "b/c\316\273ash.bib"
index cc2b292..dc49b3b 100644
--- "a/c\316\273ash.bib"
+++ "b/c\316\273ash.bib"
@@ -136,6 +136,21 @@
   timestamp = {2010.01.20}
 }
 
+@INPROCEEDINGS{FL,
+  author = {{Mark D. Aagaard and Robert B. Jones and Carl-Johan H. Seger}},
+  title = {{Lifted-FL: A Pragmatic Implementation of Combined Model Checking
+	and Theorem Proving}},
+  booktitle = {{Proceedings of 12th International Conference on Theorem Proving
+	in Higher Order Logics}},
+  year = {1999},
+  volume = {1690},
+  series = {LNCS},
+  pages = {323-340},
+  publisher = {Springer Verlag},
+  owner = {darchon},
+  timestamp = {2010.01.26}
+}
+
 @INPROCEEDINGS{Hawk1,
   author = {Matthews, J. and Cook, B. and Launchbury, J.},
   title = {{Microprocessor specification in Hawk}},