Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients

@inproceedings{Ninomiya1999ClarifyingTA,
  title={Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients},
  author={Tomoko Ninomiya and Masao Mukaidono},
  booktitle={ISMVL},
  year={1999}
}