Switch to: Citations

References in:

Non-standard logics for automated reasoning

San Diego: Academic Press (1988)

Add references

You must login to add references.

No references yet.