Added reference to FL

diff --git a/cλash.bib b/cλash.bib
index cc2b292685b7bbc89f17fa2f21368e922385e55b..dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a 100644 (file)
--- a/cλash.bib
+++ b/cλash.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}},