Design for AKL with Intelligent Pruning

@inproceedings{Abreu1993DesignFA,
  title={Design for AKL with Intelligent Pruning},
  author={Salvador Abreu and Lu{\'i}s Moniz Pereira},
  booktitle={ELP},
  year={1993}
}