@article{KunzPradhan1994,
  author    = {Wolfgang Kunz and D. K. Pradhan},
  title     = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization},
  year      = {1994},
}