% Proceedings of the 3rd International HOL Users Meeting

@Proceedings{HUG90,
   title = {Proceedings of the Third HOL Users Meeting},
   booktitle = {Proceedings of the Third HOL Users Meeting},
   year = {1990},
   address = {Computer Science Department, Aarhus University, Ny Munkegade,
              Building 540, DK-8000 Aarhus C, Denmark},
   month = {October},
   note = {Technical Report DAIMI PB -- 340 (December 1990)}}