Richard C. T. Lee

According to our database, Richard C. T. Lee authored at least 134 papers between 1969 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

The exact multiple pattern matching problem solved by a reference tree approach.

Yi-Kung Shieh, Shyong Jian Shyu, Chin Lung Lu, Richard Chia-Tung Lee

Theor. Comput. Sci., 2021

2015

A Systematical and Parallel Approach to Solve Problems Involving Special Properties of Bit-Vectors.

Chia Shin Ou, Chin Lung Lu, Richard C. T. Lee

Comput. J., 2015

2014

A reversible acoustic data hiding method based on analog modulation.

Hung-Jr Shiu, S. Y. Tang, Chien-Hung Huang, Richard C. T. Lee, Chin-Laung Lei

Inf. Sci., 2014

Bit-Parallel Algorithms for Exact Circular String Matching.

Kuei-Hao Chen, Guan-Shieng Huang, Richard Chia-Tung Lee

Comput. J., 2014

An Efficient Algorithm to Solve the Nearest Neighbor Searching Problem.

Yi Kung Shieh, Richard C. T. Lee

Proceedings of the Intelligent Systems and Applications, 2014

2013

A new filtration method and a hybrid strategy for approximate string matching.

Chia Wei Lu, Chin Lung Lu, Richard C. T. Lee

Theor. Comput. Sci., 2013

2010

Data hiding methods based upon DNA sequences.

Hung-Jr Shiu, Ka-Lok Ng, Jywe-Fei Fang, Richard C. T. Lee, Chien-Hung Huang

Inf. Sci., 2010

2008

Finding a longest common subsequence between a run-length-encoded string and an uncompressed string.

Jia Jie Liu, Yue-Li Wang, Richard C. T. Lee

J. Complex., 2008

2007

Edit distance for a run-length-encoded string and an uncompressed string.

Jia Jie Liu, Guan-Shieng Huang, Yue-Li Wang, Richard C. T. Lee

Inf. Process. Lett., 2007

2005

The approximability of the weighted Hamiltonian path completion problem on a tree.

Quincy Wu, Chin Lung Lu, Richard Chia-Tung Lee

Theor. Comput. Sci., 2005

Some Optimal Parallel Algorithms on Interval and Circular-arc Graphs.

Fang-Rong Hsu, Man-Kwan Shan, H. S. Chao, Richard C. T. Lee

J. Inf. Sci. Eng., 2005

2004

The Minimal Spanning Tree Preservation Approaches for DNA Multiple Sequence Alignment and Evolutionary Tree Construction.

Shyong Jian Shyu, Yin-Te Tsai, Richard C. T. Lee

J. Comb. Optim., 2004

Application of Visual Display Techniques to Solve Some Biological Problems.

Richard C. T. Lee

Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

Sorting by Transpositions Based on the First Increasing Substring Concept.

M. C. Chen, Richard C. T. Lee

Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

2003

The full Steiner tree problem.

Chin Lung Lu, Chuan Yi Tang, Richard Chia-Tung Lee

Theor. Comput. Sci., 2003

Web-Based Synchronized Multimedia System Design for Teaching/Learning Chinese as a Foreign Language.

Natalius Huang, Herng-Yow Chen, Richard C. T. Lee

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2002

The Full Steiner Tree Problem in Phylogeny.

Chin Lung Lu, Chuan Yi Tang, Richard Chia-Tung Lee

Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

2000

An optimal algorithm for finding the minimum cardinality dominating set on permutation graphs.

H. S. Chao, Fang-Rong Hsu, Richard C. T. Lee

Discret. Appl. Math., 2000

An Approximate Algorithm for the Weighted Hamiltonian Path Completion Problem on a Tree.

Q. S. Wu, Chin Lung Lu, Richard C. T. Lee

Proceedings of the Algorithms and Computation, 11th International Conference, 2000

1999

An Optimal Embedding of Cycles into Incomplete Hypercubes.

Chien-Hung Huang, Ju Yuan Hsiao, Richard C. T. Lee

Inf. Process. Lett., 1999

An Optimal Embedding of Incomplete Binary Trees onto Incomplete Hypercubes.

Chien-Hung Huang, Ju Yuan Hsiao, Richard C. T. Lee, Jywe-Fei Fang

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

1998

The NPO-Completeness of the Longest Hamiltonian Cycle Problem.

Q. S. Wu, Kun-Mao Chao, Richard C. T. Lee

Inf. Process. Lett., 1998

1997

Optimal Bucket Allocation Design of k-ary MKH Files for Partial Match Retrieval.

C. Y. Chen, H. F. Lin, Chin-Chen Chang, Richard C. T. Lee

IEEE Trans. Knowl. Data Eng., 1997

Multidisk Smaller Sized MKH file Allocation for Partial Match Retrieval.

C. Y. Chen, H. F. Lin, Chin-Chen Chang, Richard C. T. Lee

J. Inf. Sci. Eng., 1997

An Optimal EREW Parallel Algorithm for Computing Breadth-First Search Trees on Permutation Graphs.

H. S. Chao, Fang-Rong Hsu, Richard C. T. Lee

Inf. Process. Lett., 1997

Approximation Algorithms.

Richard C. T. Lee

Proceedings of the 1997 International Symposium on Parallel Architectures, 1997

1996

Redundant MKH Files Design among Multiple Disks for Concurrent Partial Match Retrieval.

C. Y. Chen, H. F. Lin, Richard C. T. Lee, Chin-Chen Chang

J. Syst. Softw., 1996

The Weighted Perfect Domination Problem and Its Variants.

Chain-Chin Yen, Richard C. T. Lee

Discret. Appl. Math., 1996

Optimal Linear Hashing Files for Orthogonal Range Retrieval.

C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee, D. C. Lin

Proceedings of the COMPSAC '96, 1996

A Temporal Join Mechanism Based on Trie-Ranking Data Structure.

C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee, D. C. Lin

Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996

1995

New Public-Key Cipher System Based Upon the Diophantine Equations.

Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee

IEEE Trans. Computers, 1995

A near pattern-matching scheme based upon principal component analysis.

C. Y. Chen, Chin-Chen Chang, Richard Chia-Tung Lee

Pattern Recognit. Lett., 1995

A Generalized Mapping of 2-d Array Processor to Linear Array Processor and its Applications.

Kuo-Liang Chung, Richard C. T. Lee, Yu-Chih Lin

Parallel Algorithms Appl., 1995

1994

Characteristics of the Hopfield associative memory utilizing isomorphism relations.

C. Y. Lee, Jia-Shung Wang, Richard C. T. Lee

IEEE Trans. Neural Networks, 1994

Optimal Multiple Key Hashing Files for Orthogonal Range Queries.

J. Liang, Chin-Chen Chang, Ron McFadyen, Richard C. T. Lee

Inf. Sci., 1994

Single Step Searching in Weighted Block Graphs.

Ju Yuan Hsiao, Chuan Yi Tang, Ruay Shiung Chang, Richard C. T. Lee

Inf. Sci., 1994

Generating All Maximal Independent Sets on Trees in Lexicographic Order.

Y. H. Chang, Jia-Shung Wang, Richard C. T. Lee

Inf. Sci., 1994

Recognizing Shortest-Path Trees in Linear Time.

Chen-Hsing Peng, Jia-Shung Wang, Richard C. T. Lee

Inf. Process. Lett., 1994

An Optimal Algorithm to Solve the Minimum Weakly Cooperative Guards Problem for 1-Spiral Polygons.

Bern-Cherng Liaw, Richard C. T. Lee

Inf. Process. Lett., 1994

A parallel algorithm for the single step searching problem.

J. S. Lin, Fang-Rong Hsu, Richard C. T. Lee

Proceedings of the International Symposium on Parallel Architectures, 1994

1993

Optimal Parallel Preprocessing Algorithms for Testing Weak Visibility of Polygons from Segments.

Fang-Rong Hsu, R. C. Chang, Richard C. T. Lee

Parallel Algorithms Appl., 1993

A Different Approach for Solving the Specified Diameter Partition Problem.

Chiou-Kuo Liang, Chuan Yi Tang, Richard C. T. Lee

J. Inf. Sci. Eng., 1993

Optimal MMI file systems for orthogonal range retrieval.

C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee

Inf. Syst., 1993

The Slab Dividing Approach To Solve the Euclidean P-Center Problem.

R. Z. Hwang, Richard C. T. Lee, R. C. Chang

Algorithmica, 1993

The Searching over Separators Strategy To Solve Some NP-Hard Problems in Subexponential Time.

R. Z. Hwang, R. C. Chang, Richard C. T. Lee

Algorithmica, 1993

Plane Sweep Algorithms for the Polygonal Approximation Problems with Applications.

D. P. Wang, N. F. Huang, H. S. Chao, Richard C. T. Lee

Proceedings of the Algorithms and Computation, 4th International Symposium, 1993

An Optimal Algorithm for Solving the Restricted Minimal Convex Nested Polygonal Separation Problem.

D. P. Wang, Richard C. T. Lee

Proceedings of the 5th Canadian Conference on Computational Geometry, 1993

The Minimum Cooperative Guards Problem on K-spiral Polygons.

Bern-Cherng Liaw, N. F. Huang, Richard C. T. Lee

Proceedings of the 5th Canadian Conference on Computational Geometry, 1993

1992

Computing the convex hull in a hammock.

Yue-Li Wang, Richard C. T. Lee, Jyun-Sheng Chang

Inf. Sci., 1992

Hierarchy representations based on arithmetic coding for dynamic information protection systems.

Chin-Chen Chang, Chu-Hsing Lin, Richard C. T. Lee

Inf. Sci., 1992

A conference key broadcasting system using sealed locks.

Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee

Inf. Syst., 1992

Special Subgraphs of Weighted Visibility Graphs.

Fang-Rong Hsu, Richard C. T. Lee, R. C. Chang

Inf. Process. Lett., 1992

Parallel algorithms for computing the closest visible vertex pair between two polygons.

Fang-Rong Hsu, R. C. Chang, Richard C. T. Lee

Int. J. Comput. Geom. Appl., 1992

Solving the Euclidean Bottleneck Biconnected Edge Subgraph Problem by 2-Relative Neighborhood Graphs.

Maw-Shang Chang, Chuan Yi Tang, Richard C. T. Lee

Discret. Appl. Math., 1992

A Record-Oriented Cryptosystem for Database Sharing (Short Note).

Chu-Hsing Lin, Chin-Chen Chang, Richard C. T. Lee

Comput. J., 1992

Amortized Analysis of Some Disk Scheduling Algorithms: SSTF, SCAN, and <i>N</i>-Step SCAN.

Tung-Shou Chen, Wei-Pang Yang, Richard C. T. Lee

BIT, 1992

An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee

Ann. Math. Artif. Intell., 1992

Solving the Euclidean Bottleneck Matching Problem by k-Relative Neighborhood Graphs.

Maw-Shang Chang, Chuan Yi Tang, Richard C. T. Lee

Algorithmica, 1992

The Application of the Searching over Separators Strategy to Solve Some NP-Complete Problems on Planar Graphs.

R. Z. Hwang, Richard C. T. Lee

Proceedings of the Algorithms and Computation, Third International Symposium, 1992

1991

A transformational approach to synthesizing combinational circuits.

Shen-Chuan Tai, M. W. Du, Richard C. T. Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

Minimum Spanning Trees of Moving Points in the Plane.

Jyh-Jong Fu, Richard C. T. Lee

IEEE Trans. Computers, 1991

20-relative neighborhood graphs are hamiltonian.

Maw-Shang Chang, Chuan Yi Tang, Richard C. T. Lee

J. Graph Theory, 1991

On weighted rectilinear 2-center and 3-center problems.

Ming-Tat Ko, Richard C. T. Lee

Inf. Sci., 1991

Password authentication using Newton's interpolating polynomials.

Chu-Hsing Lin, Chin-Chen Chang, Tzong-Chen Wu, Richard C. T. Lee

Inf. Syst., 1991

On the design of multiple key hashing files for concurrent orthogonal range retrieval between two disks.

C. Y. Chen, Chin-Chen Chang, Richard C. T. Lee

Inf. Syst., 1991

Covering convex rectilinear polygons in linear time.

W. T. Liou, Chuan Yi Tang, Richard C. T. Lee

Int. J. Comput. Geom. Appl., 1991

Voronoi diagrams of moving points in the plane.

Jyh-Jong Fu, Richard C. T. Lee

Int. J. Comput. Geom. Appl., 1991

Transformation completeness properties of SVPC transformation sets.

Shen-Chuan Tai, M. W. Du, Richard C. T. Lee

Discret. Appl. Math., 1991

An Average Case Analysis of Monien and Speckenmeyer's Mechanical Theorem Proving Algorithm.

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee

Proceedings of the ISA '91 Algorithms, 1991

Conflict-Free Sorting Algorithms Under Single-Channel and Multi-Channel Broadcast Communication Models.

Chang-Biau Yang, Richard C. T. Lee, Wen-Tsuen Chen

Proceedings of the Advances in Computing and Information, 1991

A unified approach for solving bottleneck k-bipartition problems.

Maw-Shang Chang, Chuan Yi Tang, Richard C. T. Lee

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Minimum rectangular partition problem for simple rectilinear polygons.

W. T. Liou, Jimmy J. M. Tan, Richard C. T. Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990

Parallel Graph Algorithms Based Upon Broadcast Communications.

Chang-Biau Yang, Richard C. T. Lee, Wen-Tsuen Chen

IEEE Trans. Computers, 1990

An Efficient Channel Routing Algorithm to Yield an Optimal Solution.

Jia-Shung Wang, Richard C. T. Lee

IEEE Trans. Computers, 1990

A Parallel Algorithm for Solving Sparse Triangular Systems.

Chin-Wen Ho, Richard C. T. Lee

IEEE Trans. Computers, 1990

Solving the set cover problem on a supercomputer.

Shyong Jian Shyu, Richard C. T. Lee

Parallel Comput., 1990

The vectorization of the partition problem.

Shyong Jian Shyu, Richard C. T. Lee

Parallel Comput., 1990

A parallel algorithm for finding congruent regions.

Zen-Cheung Shih, Richard C. T. Lee, S. N. Yang

Parallel Comput., 1990

A Dynamic Access Control Mechanism in Information Protection Systems.

Chu-Hsing Lin, Richard C. T. Lee, Chin-Chen Chang

J. Inf. Sci. Eng., 1990

The Weighted Perfect Domination Problem.

Chain-Chin Yen, Richard C. T. Lee

Inf. Process. Lett., 1990

On the continuous working problem.

Ruay Shiung Chang, Richard C. T. Lee

Discret. Appl. Math., 1990

An Optimal Approximation Algorithm for the Rectilinear m-Center Problem.

Ming-Tat Ko, Richard C. T. Lee, Jyun-Sheng Chang

Algorithmica, 1990

On the state transition graph of Hopfield net model.

C. Y. Lee, Jia-Shung Wang, Richard C. T. Lee

Proceedings of the IJCNN 1990, 1990

An Optimal Parallel Algorithm for Minimum Coloring of Intervals.

Ming-Shing Yu, C. L. Chen, Richard C. T. Lee

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

The Number of Intersections Between Two Rectangular Paths.

Yue-Li Wang, Richard C. T. Lee, Jyun-Sheng Chang

IEEE Trans. Computers, 1989

A Fault-Tolerance Strategy for Pyramid Architecture.

Kuo-Liang Chung, Ferng-Ching Lin, Richard C. T. Lee

J. Inf. Sci. Eng., 1989

Counting Clique Trees and Computing Perfect Elimination Schemes in Parallel.

Chin-Wen Ho, Richard C. T. Lee

Inf. Process. Lett., 1989

A systolic algorithm for extracting regions from a planar graph.

Zen-Chung Shih, Richard C. T. Lee, S. N. Yang

Comput. Vis. Graph. Image Process., 1989

A branch-and-bound algorithm to solve the equal-execution-time job scheduling problem with precedence constraint and profile.

Cheng-I Yang, Jia-Shung Wang, Richard Chia-Tung Lee

Comput. Oper. Res., 1989

Optimal Parallel Circle-Cover and Independent Set Algorithms for Circular-Arc Graphs.

Ming-Shing Yu, C. L. Chen, Richard Chia-Tung Lee

Proceedings of the International Conference on Parallel Processing, 1989

Minimum Partitioning Simple Rectilinear Polygons in o(n log log n) Time.

W. T. Liou, Jimmy J. M. Tan, Richard C. T. Lee

Proceedings of the Fifth Annual Symposium on Computational Geometry, 1989

1988

Efficient Parallel Algorithms for Finding Maximal Cliques, Clique Trees, and Minimum Coloring on Chordal Graphs.

Chin-Wen Ho, Richard C. T. Lee

Inf. Process. Lett., 1988

On a scheduling problem where a job can be executed only by a limited number of processors.

R. S. Chang, Richard C. T. Lee

Comput. Oper. Res., 1988

1987

A Parallel nonlinear Mapping Algorithm.

C. W. Shen, Richard C. T. Lee, Y. H. Chin

Int. J. Pattern Recognit. Artif. Intell., 1987

Systolic Algorithms to Examine All Pairs of Elements.

Zen-Cheung Shih, Gen-Huey Chen, Richard C. T. Lee

Commun. ACM, 1987

A New Systolic Architecture for Convex Hull and Half-Plane Intersection Problems.

Gen-Huey Chen, Maw-Sheng Chern, Richard C. T. Lee

BIT, 1987

1986

The mapping of 2-D array processors to 1-D array processors.

Chang-Biau Yang, Richard C. T. Lee

Parallel Comput., 1986

A Letter-Oriented Minimal Perfect Hashing Scheme.

Chin-Chen Chang, Richard C. T. Lee

Comput. J., 1986

An <i>O</i>(<i>N</i> log <i>N</i>) Minimal Spanning Tree Algorithm for <i>N</i> Points in the Plane.

R. C. Chang, Richard C. T. Lee

BIT, 1986

The Idea of De-Clustering and its Applications.

M. T. Fang, Richard C. T. Lee, Chin-Chen Chang

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

1985

The Optimality of the Number of k-Sorters of a Parallel Merging Algorithm.

S. S. Tseng, Richard C. T. Lee

J. Inf. Sci. Eng., 1985

On the complexity of some multi-attribute file design problems.

Chuan Yi Tang, D. J. Fuehrer, Richard C. T. Lee

Inf. Syst., 1985

A parallel sorting scheme whose basic operation sorts<i>N</i> elements.

S. S. Tseng, Richard C. T. Lee

Int. J. Parallel Program., 1985

1984

Performance Analyses of Cartesian Product Files and Random Files.

Chin-Chen Chang, M. W. Du, Richard C. T. Lee

IEEE Trans. Software Eng., 1984

Optimal speeding up of parallel algorithms based upon the divide-and-conquer strategy.

Chuan Yi Tang, Richard C. T. Lee

Inf. Sci., 1984

A Parallel Algorithm to Solve the Stable Marriage Problem.

S. S. Tseng, Richard C. T. Lee

BIT, 1984

A New Parallel Sorting Algorithm Based Upon Min-Mid-Max Operations.

S. S. Tseng, Richard C. T. Lee

BIT, 1984

On the Average Length of Delaunay Triangulations.

R. C. Chang, Richard C. T. Lee

BIT, 1984

1983

The hierarchical ordering in multiattribute files.

Chin-Chen Chang, M. W. Du, Richard C. T. Lee

Inf. Sci., 1983

1982

Symbolic Gray Code as a Perfect Multiattribute Hashing Scheme for Partial Match Queries.

Chin-Chen Chang, Richard C. T. Lee, M. W. Du

IEEE Trans. Software Eng., 1982

1980

Symbolic Gray Code as a Multikey Hashing Function.

David H. C. Du, Richard C. T. Lee

IEEE Trans. Pattern Anal. Mach. Intell., 1980

Some Properties of Cartesian Product Files.

Chin-Chen Chang, Richard C. T. Lee, David Hung-Chang Du

Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, 1980

1979

Common Properties of Some Multiattribute File Systems.

W. C. Lin, Richard C. T. Lee, David Hung-Chang Du

IEEE Trans. Software Eng., 1979

1978

Towards Automatic Auditing of Records.

Richard C. T. Lee, James R. Slagle, C. T. Mong

IEEE Trans. Software Eng., 1978

A nearest neighbor search technique with short zero-in time.

C. W. Shen, Richard C. T. Lee

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

A Triangulation Method for the Sequential Mapping of Points from <i>N</i>-Space to Two-Space.

Richard C. T. Lee, James R. Slagle, H. Blum

IEEE Trans. Computers, 1977

Storage Reduction Through Minimal Spanning Trees and Spanning Forests.

Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang

IEEE Trans. Computers, 1977

1976

Application of Principal Component Analysis to Multikey Searching.

Richard C. T. Lee, Y. H. Chin, S. C. Chang

IEEE Trans. Software Eng., 1976

Application of Clustering to Estimate Missing Data and Improve Data Integrity.

Richard C. T. Lee, James R. Slagle, C. T. Mong

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

D. Michie, On Machine Intelligence.

Richard C. T. Lee

Artif. Intell., 1975

1974

Experiments with some cluster analysis algorithms.

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee

Pattern Recognit., 1974

An Improved Program-Synthesizing Algorithm and Its Correctness.

Richard C. T. Lee, Chin-Liang Chang, Richard J. Waldinger

Commun. ACM, 1974

Structured programming and automatic program synthesis.

Richard C. T. Lee, Shi-Kuo Chang

Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, 1974

1973

A Heuristic Relaxation Method for Nonlinear Mapping in Cluster Analysis.

Chin-Liang Chang, Richard C. T. Lee

IEEE Trans. Syst. Man Cybern., 1973

The Specialization of Programs by Theorem Proving.

Chin-Liang Chang, Richard C. T. Lee, John K. Dixon

SIAM J. Comput., 1973

Symbolic logic and mechanical theorem proving.

Chin-Liang Chang, Richard C. T. Lee

Computer science classics, Academic Press, ISBN: 978-0-12-170350-9, 1973

1972

Fuzzy Logic and the Resolution Principle.

Richard C. T. Lee

J. ACM, 1972

An algorithm to generate prime implicants and its application to the selection problem.

Richard C. T. Lee

Inf. Sci., 1972

1971

Some Properties of Fuzzy Logic

Richard C. T. Lee, Chin-Liang Chang

Inf. Control., December, 1971

On the Optimal Solutions to AND/OR Series-Parallel Graphs.

Richard Simon, Richard C. T. Lee

J. ACM, 1971

Application of Game Tree Searching Techniques to Sequential Pattern Recognition.

James R. Slagle, Richard C. T. Lee

Commun. ACM, 1971

1970

A New Algorithm for Generating Prime Implicants.

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee

IEEE Trans. Computers, 1970

1969

PROW: A Step Toward Automatic Program Writing.

Richard J. Waldinger, Richard C. T. Lee

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

Completeness Theorems for Semantic Resolution in Consequence-Finding.

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969