@article{Rud:98a,
  journal = {Mathware Soft Comput.},
  volume = {5},
  title = {On {B}oolean modus ponens},
  year = {1998},
  fjournal = {Mathware \& Soft Computing},
  pages = {115--119},
  number = {1},
  author = {Rudeanu, Sergiu},
}