Fuzzy Computed Answers Collecting Proof Information

@inproceedings{Morcillo2011FuzzyCA,
  title={Fuzzy Computed Answers Collecting Proof Information},
  author={Pedro J. Morcillo and Gin{\'e}s Moreno and Jaime Penabad and Carlos V{\'a}zquez},
  booktitle={IWANN},
  year={2011}
}