R. Alali, C. Durante, J. J. Mercier. A model for non interpreted structures of logical systems. In Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. D. Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman, editors, Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. pages 258-264, ACM/IEEE, 1984. [doi]
Abstract is missing.