@INPROCEEDINGS{arec:hgen03,
  author = {Areces, C. and Heguiabehere, J.},
  title = {hGen: A Random CNF Formula Generator for Hybrid Languages},
  booktitle = {{Methods for Modalities 3 - M4M-3, Nancy, France}},
  year = {2003},
  address = {Nancy, France},
  month = {September},
  abstract = {hGen is a random CNF (conjunctive normal form) generator of formulas
	for sublanguages of H(@,\downarrow, A).},
  keywords = {hybrid logics, testing, random generation, cnf}
}