X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.bib;h=dc49b3bbf02f0cd9320ebd0f2e85df288019ae9a;hp=cc2b292685b7bbc89f17fa2f21368e922385e55b;hb=670b6d6dd2734861d6bbf3dc952e455f12ce464f;hpb=6a56da651eb98272f70f3d3b7355221c790f6576

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