Switch to: References

Add citations

You must login to add citations.
  1. The finite model property and recursive Bounds on the size of countermodels.Dolph Ulrich - 1983 - Journal of Philosophical Logic 12 (4):477 - 480.