An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic | lit.salon