243 followers
Quantifier-Free Equational Logic and Prime Implicate Generation. - Mnacho Echenim, Nicolas Peltier, Sophie Tourret http://t.co/nQ9ixuvwfm
Quantifier-Free Equational Logic and Prime Implicate Generation. - Mnacho Echenim, Nicolas Peltier, Sophie Tourret http://t.co/nQ9ixuvwfm