From 670b6d6dd2734861d6bbf3dc952e455f12ce464f Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Tue, 26 Jan 2010 16:07:44 +0100
Subject: [PATCH] Added reference to FL

---
 "c\316\273ash.bib" | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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}},
-- 
2.30.2